<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <link href="../../css/editable-old.css" rel="stylesheet"></link>

    <link href="../../codemirror/lib/codemirror.css" rel="stylesheet">
    <link href="../../codemirror/theme/mdn-like.css" rel="stylesheet"></link>
    <link href="../../codemirror/addon/hint/show-hint.css" rel="stylesheet"></link>

    <link href="css/element.css" rel="stylesheet"></link>
  </head>

  <body>
    <div id="output">
      <div id="example-element">
          <p>This is a box with a border around it.
             Note which side of the box is
             red.</p>
      </div>
    </div>

    <div id="buttons">
      <input id="edit" type="button" value="Edit CSS" />
      <input id="reset" type="button" value="Reset" />
    </div>

    <script src="../../codemirror/lib/codemirror.js"></script>
    <script src="../../codemirror/mode/css/css.js"></script>
    <script src="../../codemirror/addon/hint/css-hint.js"></script>
    <script src="../../codemirror/addon/hint/show-hint.js"></script>
  
    <script src="js/border-top-color.js"></script>
    <script type="text/javascript" src="../../js/editable-old.js"></script>

</body>

</html>
